Works by M. D. Gladstone

( view other items matching `M. D. Gladstone`, view all matches )
13 found
Order:
  1.  40
    Simplifications of the recursion scheme.M. D. Gladstone - 1971 - Journal of Symbolic Logic 36 (4):653-665.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  2.  38
    (1 other version)A reduction of the recursion scheme.M. D. Gladstone - 1967 - Journal of Symbolic Logic 32 (4):505-508.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  3.  23
    (1 other version)On the number of variables in the axioms.M. D. Gladstone - 1970 - Notre Dame Journal of Formal Logic 11 (1):1-15.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  222
    Finite models for inequations.M. D. Gladstone - 1966 - Journal of Symbolic Logic 31 (4):581-592.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  26
    The decidability of one-variable propositional calculi.M. D. Gladstone - 1979 - Notre Dame Journal of Formal Logic 20 (2):438-450.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  42
    (1 other version)A Single‐Axiom Impligational Calculus of Given Unsolvability.M. D. Gladstone - 1968 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 14 (13‐17):193-204.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  29
    Meeting of the association for symbolic logic.J. C. Shepherdson, S. Körner & M. D. Gladstone - 1964 - Journal of Symbolic Logic 29 (4):218-228.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  8.  37
    Bishwambhar Pahi and Ralph C. Applebee. An unsolvable problem concerning implicational calculi. Notre Dame journal of formal logic, vol. 11 , pp. 200–202. [REVIEW]M. D. Gladstone - 1972 - Journal of Symbolic Logic 37 (2):417.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9.  31
    Hughes G. E.. The independence of axioms in the propositional calculus. The Australasian journal of philosophy, vol. 35 , pp. 21–29. [REVIEW]M. D. Gladstone - 1971 - Journal of Symbolic Logic 36 (3):546-546.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10.  33
    Mary Katherine Yntema. A detailed argument for the Post-Linial theorems. Notre Dame journal of formal logic, vol. 5 no. 1 , pp. 37–50. [REVIEW]M. D. Gladstone - 1966 - Journal of Symbolic Logic 31 (1):117-118.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  11.  38
    Philip K. Hooper. Monogenic Post normal systems of arbitrary degree. Journal of the Association for Computing Machinery, vol. 13 , pp. 359–363. [REVIEW]M. D. Gladstone - 1969 - Journal of Symbolic Logic 34 (3):508-509.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  12.  38
    Review: Henry W. Johnstone, A Definition of Conjunction in the Pure Implicational Calculus with One Variable. [REVIEW]M. D. Gladstone - 1970 - Journal of Symbolic Logic 35 (4):584-584.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  13.  25
    Yasuhara Ann. A remark on Post normal systems. Journal of the Association for Computing Machinery, vol. 14 , pp. 167–171. [REVIEW]M. D. Gladstone - 1968 - Journal of Symbolic Logic 33 (1):116-117.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark